Formal analysis techniques for gossiping protocols

Gossiping Models Formal Analysis of Epidemic Protocols

Acknowledgements It is a pleasure to thank those who made the completion of this thesis possible. First and foremost I express my gratitude to my supervisor Wan Fokkink for his guidance and patience throughout my thesis, for sharing his ideas with me, and all the support he has provided in these four years. Moreover, I want to thank Wan and Judi for letting me stay at their house in the beginni...

Epistemic Protocols for Distributed Gossiping

Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other’s secrets. We consider distributed gossip protocols which are expressed by means of epistemic logic. We provide an operational semantics of such protocols and set up an appropriate framework to argue about their correctness. Then we analyze specific protoc...

A Formal Analysis Technique for Authentication Protocols

Formal Testing & Algebraic Modelling Techniques for Verifying Cryptographic Protocols

Before trusting a communications security protocol with potentially critical or sensitive information, it is necessary to have some degree of assurance that the protocol fulfils its intended objectives. To provide this assurance it is necessary to use formal verification techniques, as intuitive reasoning does not satisfactorily guarantee complete freedom from protocol errors. In this paper, a ...

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

Security protocols are distributed programs that aim at securing communications by the means of cryptography. They are for instance used to secure electronic payments, home banking and more recently electronic elections. Given the financial and societal impact in case of failure, and the long history of design flaws in such protocols, formal verification is a necessity. A major difference from ...